Denotational Semantics of the XML-lambda Query Language
نویسندگان
چکیده
In this paper, we define formally the XML-λ Query Language, a query language for XML, that employs the functional data model. We describe its fundamental principles including the abstract syntax and denotational semantics. The paper basically aims for outlining of the language scope and capabilities.
منابع مشابه
Denotational Semantics of XML-Lambda
The article deals with the denotational semantics of a special query language called XML-Lambda, which is based on the simply typed lambda calculus. Such semantics allows experimentation with a language definition, prototyping of programs, and similar experiments.
متن کاملOn the denotational semantics of XML-Lambda
The article deals with the denotational semantics of a special query language called XML-Lambda (abbreviated as XML-λ), which is based on the simply typed lambda calculus. The exact semantics allows experimentation with a language definition, prototyping of programs, and similar experiments. One of such experiment is the implementation of the XQuery language in the XML-λ environment. The main a...
متن کاملEvaluation of XPath Fragments Using Lambda Calculi
XML Path Language (XPath) is the most important standard for navigation within XML documents nowadays. In this paper we present the state of our current research that is focused on using a functional framework based on simply typed lambda calculi and a general type system XML-λ for description of semantics of a query language. With such formalism we are able to describe the semantics of all lan...
متن کاملA Formal Description of XML Tree Pattern Query for XQuery Language
In order to express tree pattern query in query plan and take advantage of formal method to analyze its behavioral characteristics, this paper present a formal description of tree pattern query based on functional language and denotational semantics. This description major focuses on behavior of a tree pattern query on matching against an eXtensible Markup Language (XML) document tree. First, w...
متن کاملDenotational Semantics of the XML-λ Query Language
In this paper, we define formally the XML-λ Query Language, a query language for XML, that employs the functional data model. The first idea for such an attitude was published in [4, 5]. This research brought in the key idea of a functional query processing with a wide potential that was later proven by a simple prototype implementation [7]. We can imagine two scenarios for this language; first...
متن کامل